Abstract data types

Results: 538



#Item
151Type theory / Data types / Object-oriented programming / Functional programming / Program analysis / Type system / Objective-C / Polymorphism / C Sharp / Software engineering / Computing / Computer programming

ABS: A Core Language for Abstract Behavioral Specification ? Einar Broch Johnsen1 , Reiner Hähnle2 , Jan Schäfer3 ,

Add to Reading List

Source URL: einarj.at.ifi.uio.no

Language: English - Date: 2011-07-05 10:09:24
152Cybernetics / Abstract data types / Concurrent computing / Computer programming / Inventory / FIFO / LIFO / Serialization / Collection / Data structures / Computing / Scheduling algorithms

Johannes Kreidlerwww.kreidler-net.de honk collection of abstractions for pd (requires at least pd-extendedhttp://www.kreidler-net.de/honk.html help-files are in the same folder, but also included inside

Add to Reading List

Source URL: www.kreidler-net.de

Language: English - Date: 2013-01-14 08:43:38
153Higher-order functions / Functional languages / Algebraic structures / Abstract data types / Procedural programming languages / Fold / Monoid / Semigroup / Double-ended queue / Software engineering / Computing / Computer programming

PDF Document

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-08-27 06:04:04
154Type theory / Data types / Type system / Abstraction / Abstract data type / Type safety / ALGOL 68 / Programming language / Lambda calculus / Software engineering / Computing / Programming language theory

Technical Report UCAM-CL-TR-569 ISSNNumber 569

Add to Reading List

Source URL: www.lochan.org

Language: English - Date: 2005-03-28 16:57:58
155C programming language / Data types / C++ / Procedural programming languages / C Standard Library / C / Pointer / Printf format string / Struct / Software engineering / Computing / Computer programming

N1793: Stability of indeterminate values in C11 Robbert Krebbers and Freek Wiedijk Radboud University Nijmegen, The Netherlands Abstract. This paper – document N1793 of WG 14 – proposes and argues for a specific res

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-03-05 10:29:46
156Question / Scalar / Trick-taking game / Interrogative word / Mathematics / Social psychology / Grammar / Data collection / Human communication

Two types of wh-exclamatives1 Rick Nouwen & Anna Chernilovskaya Abstract – We study a particular aspect of the semantics  of matrix wh-exclamatives. In particular, we focus on the relation between fairly straightfor

Add to Reading List

Source URL: ricknouwen.org

Language: English - Date: 2015-03-19 10:31:16
157Software engineering / Computer programming / Standard Template Library / Iterator / Associative containers / Sequence container / Container / Set / Hash table / Computing / C++ Standard Library / Abstract data types

Charles: A Data Structure Library for Ada95 Matthew Heaney On2 Technologies, Inc. http://home.earthlink.net/~matthewjheaney/index.html

Add to Reading List

Source URL: home.earthlink.net

Language: English - Date: 2004-02-05 10:23:29
158Watershed / Mathematics / Concurrent computing / A* search algorithm / Queue / Segmentation / FIFO / Stack / Abstract data types / Computing / Priority queue

Hierarchical Queues: general description and implementation in MAMBA Image library Nicolas BEUCHER www. mamba-image. org Serge BEUCHER

Add to Reading List

Source URL: cmm.ensmp.fr

Language: English - Date: 2011-05-02 09:34:09
159Computer programming / Stack / Preorder / List / Queue / ML / Tree traversal / Fold / Software engineering / Computing / Abstract data types

CS109A Notes for LectureData Structures 1. Linked list = records with data eld(s) and next eld pointing to next element. 2. Array = array of limited size with cursor or

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:58:13
160Data types / C++ / Primitive types / Type theory / C programming language / Pointer / C / Type safety / Reference / Software engineering / Computing / Computer programming

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine David Chisnall Colin Rothwell Robert N. M. Watson Jonathan Woodruff

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2015-01-14 18:11:07
UPDATE